منابع مشابه
Third International Workshop on Analysis of Security APIs
Security APIs are used to define the boundary between trusted and untrusted code. The security properties of existing API are not always clear. In this paper, we give a new generic API for managing symmetric keys on a trusted cryptographic device. We state and prove security properties for the API. In particular, our API offers a high level of security even when the host machine is controlled b...
متن کاملThird International Workshop on Code Based Software Security Assessments —
Despite current software protection techniques, ap-plications are still analysed, tampered with, and abused on a largescale. Crackers compensate for each new protection technique byadapting their analysis and tampering tools. This paper presentsa low-cost mechanism to effectively protect software againstglobal tampering attacks. By introducing diversity per programmeinst...
متن کاملThird International Workshop on Safety and Security in Multiagent Systems
A crucial part of safety-critical systems development is identifying how system behaviours lead to accidents. Doing this for complex systems is hard because of the need to consider the interaction between multiple simultaneous failures and normal system behaviours. Multi-agent simulation provides a way to explore the behaviour that emerges from a model of a system under normal and failure condi...
متن کاملInternational Workshop on
s (Outstanding Young Scientist Award Presentations)................... p. 5-7 Abstracts (Regular Presentations, alphabetically)......................................... p. 8-19s (Regular Presentations, alphabetically)......................................... p. 8-19 List of Participants......................................................................................... p. 20-22 Maps..........
متن کاملInternational Workshop on Termination
Partial Evaluation for Termination Analysis . . . . . . . . . . . . . . . . . . . . . 47 Lior Tamary, Michael Codish Relative Termination in Term Rewriting . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51 Hans Zantema
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEICE ESS Fundamentals Review
سال: 2023
ISSN: ['1882-0875']
DOI: https://doi.org/10.1587/essfr.16.3_216